Predictive Input Interface of Mathematical Formulas
نویسندگان
چکیده
Currently, inputting mathematical formulas into a document using a PC requires more effort by users than inputting normal text. This fact inhibits the spreading of mathematical formulas as internet contents. We propose a method for predicting user’s inputs of mathematical formulas using an N-gram model: a popular probabilistic language model in natural language processing. Mathematical formulas are usually presented in hierarchical structure. Therefore, our method incorporates hierarchical information of mathematical formulas to create a prediction model. We try to achieve high prediction accuracy of inputting characters for mathematical formulas.
منابع مشابه
Automatic Typesetting of Formulas Using Computer Algebra
This paper describes new procedures, written in the Mathematica © programming language, for quickly typesetting mathematical formulas in LATEX syntax. Two main procedures provide direct interface with the user. The first of them obtains the LATEX representation of a single formula. The second procedure analyzes a set of formulas, searching for common terms and symmetries, and breaks the origina...
متن کاملSurvey of Relationship between Input Parameters and Calculated Suspended Sediment Discharge by Bagnold and Lane - Kalinske Method (Bazoft River, Iran)
In this paper, two formulas were chosen among those that estimate the suspendedsediment discharge in rivers. These two formulas were Lane and Kalinske and Bagnold. Forstudying and knowing the correlation between input parameters and calculated suspendedsediment discharge (CSSD), the SPSS17 software was used. Input parameters in these twoformulas were as: water velocity, water discharge, suspend...
متن کاملTau: A Web-Deployed Hybrid Prover for First-Order Logic with Identity, with Optional Inductive Proof
We outline Tau, a practical and extensible hybrid theorem prover for first-order predicate calculus with identity. Tau is flexible and user-configurable, accepts the KIF Language, is implemented in Java, and has multiple user interfaces. Tau combines rule-based problem rewriting with Model Elimination, uses Brand’s Modification Method to implement identity, and accepts user-configurable heurist...
متن کاملTau: A Web-Deployed Hybrid Prover for First-Order Logic with Identity and Optional Inductive Proof
We outline Tau, a practical and extensible hybrid theorem prover for first-order predicate calculus with identity. Tau is flexible and user-configurable, accepts the KIF Language, is implemented in Java, and has multiple user interfaces. Tau combines rule-based problem rewriting with Model Elimination, uses Brand’s Modification Method to implement identity, and accepts user-configurable heurist...
متن کاملA Study on Correction Functions for On-Line Handwriting Entry of Mathematical Formulas
This paper describes functions for correcting mathematical formulas inputted using the handwritten mathematical formula entry system that we have proposed [8,9]. This system encourages intuitive entries of mathematical formulas using a user-friendly handwriting interface. We have implemented two basic operations specialized for correcting formula structures. One of the operations is "move and r...
متن کامل